This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
WeiterlesenThis volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
WeiterlesenThis book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
WeiterlesenThis introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
WeiterlesenThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
WeiterlesenThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
WeiterlesenThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
WeiterlesenThe two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
WeiterlesenThe two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
WeiterlesenThis book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
WeiterlesenThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Weiterlesen